大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Stefan Thomas 的图书(共2364本)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

0
索取号：
作者：Chatterjee、 Krishnendu.、Henzinger、 Thomas A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ImageCLEF [electronic resource] : Experimental Evaluation in Visual Information Retrieval

0
索取号：
作者：M眉ller、 Henning.、Clough、 Paul.、Deselaers、 Thomas.、Caputo、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Investigations of Field Dynamics in Laser Plasmas with Proton Imaging [electronic resource]

0
索取号：
作者：Sokollik、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cryptographic Hardware and Embedded Systems, CHES 2010 [electronic resource] : 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings

0
索取号：
作者：Mangard、 Stefan.、Standaert、 Fran莽ois-Xavier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice

0
索取号：
作者：M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

0
索取号：
作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

In-situ Studies with Photons, Neutrons and Electrons Scattering [electronic resource]

0
索取号：
作者：Kannengiesser、 Thomas.、Babu、 Sudarsanam Suresh.、Komizo、 Yu-ichi.、Ramirez、 Antonio J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Spatial Cognition VII [electronic resource] : International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010. Proceedings

0
索取号：
作者：H枚lscher、 Christoph.、Shipley、 Thomas F.、Olivetti Belardinelli、 Marta.、Bateman、 John A.、Newcombe、 Nora S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interfaces: Explorations in Logic, Language and Computation [electronic resource] : ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

0
索取号：
作者：Icard、 Thomas.、Muskens、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional Renormalization and Ultracold Quantum Gases [electronic resource]

0
索取号：
作者：Fl枚rchinger、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

L茅vy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance

0
索取号：
作者：Duquesne、 Thomas.、Reichmann、 Oleg.、Sato、 Ken-iti.、Schwab、 Christoph.、Barndorff-Nielsen、 Ole E.、Bertoin、 Jean.、Jacod、 Jean.、Kl眉ppelberg、 Claudia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Dynamical Systems [electronic resource] : Stability, Controllability and Chaotic Behavior

0
索取号：
作者：Pickl、 Stefan.、Krabs、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing in Sensor Systems [electronic resource] : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Rajaraman、 Rajmohan.、Moscibroda、 Thomas.、Dunkels、 Adam.、Scaglione、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Modelling Foundations and Applications [electronic resource] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

0
索取号：
作者：K眉hne、 Thomas.、Selic、 Bran.、Gervais、 Marie-Pierre.、Terrier、 Fran莽ois.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Neuromuscular monitoring in clinical practice and research [electronic resource] : Mit elnem Geleitwort von Robert J眉tte

0
索取号：
作者：Fuchs-Buder、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.